8.27/8.34	unsat
