22.86/25.76	unsat
