4.60/7.67	unsat
