3.99/6.62	unsat
