19.61/19.65	unsat
