8.26/8.34	unsat
