2.49/4.03	unsat
