10.28/10.34	unsat
