23.79/24.34	unsat
