17.56/19.37	unsat
