23.55/24.76	unsat
