19.45/19.73	unsat
