3.98/6.09	unsat
