17.67/19.57	unsat
