16.84/17.52	unsat
