4.69/6.31	unsat
