7.10/10.67	unsat
