19.35/19.43	unsat
