4.88/6.21	unsat
