22.41/24.34	unsat
