19.43/19.52	unsat
