3.98/6.10	unsat
