10.27/10.34	unsat
