16.46/17.74	unsat
