3.90/3.99	unsat
