10.26/10.34	unsat
