3.89/3.99	unsat
