19.35/19.47	unsat
