10.32/10.34	unsat
