20.96/22.73	unsat
