8.57/8.67	unsat
