19.45/19.52	unsat
