4.71/6.67	unsat
