5.27/6.36	unsat
