22.96/24.34	unsat
