5.06/6.31	unsat
