23.39/25.01	unsat
