3.80/3.99	unsat
