4.87/6.21	unsat
