4.89/6.31	unsat
