3.94/3.99	unsat
