7.27/11.63	unsat
