3.87/3.99	unsat
