18.51/19.58	unsat
