3.99/4.03	unsat
