3.03/3.99	unsat
