17.63/19.35	unsat
