17.56/19.26	unsat
