6.27/6.34	unsat
