3.61/3.67	unsat
