4.85/6.31	unsat
