17.36/19.44	unsat
