17.56/19.88	unsat
