4.25/4.67	unsat
