11.59/12.43	unsat
