23.92/25.62	unsat
