1.94/3.99	unsat
