5.89/6.36	unsat
