23.45/24.76	unsat
