11.45/14.42	unsat
