4.97/6.20	unsat
