6.27/8.36	unsat
