16.76/17.67	unsat
