19.74/22.73	unsat
