23.92/25.51	unsat
