5.29/6.36	unsat
