5.08/6.21	unsat
