3.67/4.03	unsat
