22.46/24.01	unsat
