20.24/22.74	unsat
