10.17/10.67	unsat
