11.59/11.68	unsat
