16.59/18.74	unsat
