4.96/7.67	unsat
