20.93/22.73	unsat
