23.88/24.01	unsat
