10.27/11.48	unsat
