19.51/19.65	unsat
