23.75/24.01	unsat
